<?php
if (isset($_SESSION["sessionID"])) {
			session_destroy();
		}
		session_start();
		
		?>